Software engineering - PDFSEARCH.IO - Document Search Engine

Software engineering
Results: 57508

#	Item
11	DIMVA Dear Prospective Sponsor. Since 2004 and 2009 the annual international IT-Security conferences DIMVA (Detection of Intrusions and Malware & Vulnerability Assessment) and ESSOS (Engineering Secure Software and Syste Add to Reading List Source URL: itsec.cs.uni-bonn.de Language: English - Date: 2017-04-24 03:56:14 Sponsor Value-added tax TED Culture Terminology Human behavior
12	A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst, Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:50:05 Functional predicate Model theory Symbol Limit of a function Universal quantification Mathematical logic Mathematics Logic
13	Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:48:58 Computer memory Computer data storage Embedded Linux Data management Computing Non-volatile memory Flash file system Flash memory Data UBIFS File system JFFS2
14	From Underapproximations to Overapproximations and Back! Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Cyberwarfare Software Engineering Institute Mellon Software engineering Carnegie Pittsburgh
15	SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Programming language implementation Compiler construction Software engineering Computing Compiler optimizations Software testing Abstract interpretation LLVM Compiler Intermediate representation Hoare logic Static single assignment form
16	Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks. Add to Reading List Source URL: taktoa.me Language: English - Date: 2018-03-28 11:19:15 Software engineering Computer programming Programming language theory Functional languages Programming paradigms Haskell Literate programming Functional programming OCaml Bachelor of Computer Science Conditional
17	BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Functions and mappings Function Graph of a function Abstraction Structure
18	Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-14 15:46:40 System software Computing Utility software Computer network security Computer security Configuration management Network architecture Software-defined networking Intrusion detection system Snort OpenFlow Traffic flow
19	UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Compilers LLVM Carnegie Mellon University Unidentified flying object Mellon Carnegie Arie Software
20	Assuring the Safety of Advanced Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring Malte Mauritz, Falk Howar, and Andreas Rausch Institute for Applied Software Systems Engineering (IPSSE Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Transport Land transport Automation Emerging technologies Road transport Modeling and simulation Advanced driver assistance systems Simulation Advanced driver-assistance systems Self-driving car Traffic Automated driving system

UPDATE